#ifndef _OMNITRIX_CONSOLE_H_
#define _OMNITRIX_CONSOLE_H_

#include <omnitrix/types.h>

void console_init();
void console_clear();
void console_write(char* buf, u32 count);

#endif // _OMNITRIX_CONSOLE_H_